Tighter Linear and Semidefinite Relaxations for Max-cut Based on the Lovász–schrijver Lift-and-project Procedure∗
نویسنده
چکیده
We study how the lift-and-project method introduced by Lovász and Schrijver [SIAM J. Optim., 1 (1991), pp. 166–190] applies to the cut polytope. We show that the cut polytope of a graph can be found in k iterations if there exist k edges whose contraction produces a graph with no K5-minor. Therefore, for a graph G with n ≥ 4 nodes with stability number α(G), n − 4 iterations suffice instead of the m (number of edges) iterations required in general and, under some assumption, n−α(G)− 3 iterations suffice. The exact number of needed iterations is determined for small n ≤ 7 by a detailed analysis of the new relaxations. If positive semidefiniteness is added to the construction, then one finds in one iteration a relaxation of the cut polytope which is tighter than its basic semidefinite relaxation and than another one introduced recently by Anjos and Wolkowicz [Discrete Appl. Math., to appear]. We also show how the Lovász–Schrijver relaxations for the stable set polytope of G can be strengthened using the corresponding relaxations for the cut polytope of the graph G∇ obtained from G by adding a node adjacent to all nodes of G.
منابع مشابه
Solving Lift-and-Project Relaxations of Binary Integer Programs
We propose a method for optimizing the lift-and-project relaxations of binary integer programs introduced by Lovász and Schrijver. In particular, we study both linear and semidefinite relaxations. The key idea is a restructuring of the relaxations, which isolates the complicating constraints and allows for a Lagrangian approach. We detail an enhanced subgradient method and discuss its efficient...
متن کاملIntegrality gaps of 2 − o(1) for Vertex Cover SDPs in the Lovász-Schrijver hierarchy
Linear and semidefinite programming are highly successful approaches for obtaining good approximations for NP-hard optimization problems. For example, breakthrough approximation algorithms for MAX CUT and SPARSEST CUT use semidefinite programming. Perhaps the most prominent NP-hard problem whose exact approximation factor is still unresolved is VERTEX COVER. PCP-based techniques of Dinur and Sa...
متن کاملA Comparison of the Sherali-Adams, Lovász-Schrijver and Lasserre Relaxations
Sherali and Adams (1990), Lovász and Schrijver (1991) and, recently, Lasserre (2001) have constructed hierarchies of successive linear or semidefinite relaxations of a 0− 1 polytope P ⊆ Rn converging to P in n steps. Lasserre’s approach uses results about representations of positive polynomials as sums of squares and the dual theory of moments. We present the three methods in a common elementar...
متن کاملNew lower bounds for Approximation Algorithms in the Lovász-Schrijver Hierarchy
Determining how well we can efficiently compute approximate solutions to NPhard problems is of great theoretical and practical interest. Typically the famous PCP theorem is used for showing that a problem has no algorithms computing good approximations. Unfortunately, for many problem this approach has failed. Nevertheless, for such problems, we may instead be able to show that a large subclass...
متن کاملIntegrality gaps of 2 - o(1) for Vertex Cover SDPs in the Lovész-Schrijver Hierarchy
Linear and semidefinite programming are highly successful approaches for obtaining good approximations for NP-hard optimization problems. For example, breakthrough approximation algorithms for Max Cut and Sparsest Cut use semidefinite programming. Perhaps the most prominent NP-hard problem whose exact approximation factor is still unresolved is Vertex Cover. Probabilistically checkable proof (P...
متن کامل